-
1 formal deduction
Большой англо-русский и русско-английский словарь > formal deduction
-
2 formal deduction
Математика: формальный вывод -
3 formal deduction
мат. -
4 formal deduction
Англо-русский словарь по исследованиям и ноу-хау > formal deduction
-
5 deduction
1) (логический) вывод, (умо)заключение2) матем. вычитаемое3) матем. вычитание4) дедукция, вывод от общего к частному5) вычет, скидка6) экон. удержание7) поправка ( к расчётной величине)•by deduction — по дедукции, от общего к частному
deduction by analogy — матем. вывод по аналогии
to draw a deduction — делать вывод, приходить к заключению
-
6 formal logic
формальная (математическая, символическая) логиканаправление логики, изучающее чётко определённые логические операции над символами (аргументами), не касаясь их содержания.Syn:Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > formal logic
-
7 logical deduction
см. тж. formal logicАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > logical deduction
-
8 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
9 language
-
absolute language
-
algorithmical language
-
algorithmic language
-
applicative language
-
artificial language
-
assembler language
-
block-structured language
-
Boolean algebra-based language
-
Boolean based language
-
command language
-
compilative language
-
compiler language
-
computer language
-
computer-dependent language
-
computer-independent language
-
computer-oriented language
-
computer-sensitive language
-
context-free language
-
control language
-
conversational language
-
core language
-
data language
- data manipulation language -
data-base language
-
data-definition language
-
data-query language
-
declarative language
-
deduction-oriented language
-
design language
-
explicit language
-
expression-oriented language
-
extensible language
-
FG-kernel language
-
finite state language
-
formal specification language
-
function language
-
functional language
-
graphics-oriented language
-
graphics language
-
hardware-based language
-
high-level language
-
host language
-
human language
-
human-oriented language
-
hybrid language
-
imperative language
-
input language
-
instruction language
-
interactive language
-
interface language
-
intermediate language
-
interpretive language
-
job control language
-
kernel language
-
knowledge representation language
-
list-processing language
-
low-level language
-
machine language
-
machine-dependent language
-
machine-independent language
-
machine-oriented language
-
macro language
-
meta language
-
mnemonic language
-
narrative language
-
native language
-
native-mode language
-
natural language
-
NC-AM language
-
network control language
-
nonprocedural language
-
nucleus language
-
object language
-
object-oriented language
-
original language
-
parallel language
-
plain language
-
privacy language
-
problem solving language
-
problem-oriented language
-
procedural language
-
program development language
-
program language
-
programming language
-
pseudo language
-
query language
-
real-time language
-
reference language
-
regular language
-
relational language
-
retrieval language
-
robot language
-
rule language
-
semantic language
-
sentential language
-
simulation language
-
source language
-
specification description language
-
specification language
-
stratified language
-
structured language
-
symbolic language
-
system language
-
system-oriented language
-
target language
-
typed language
-
unstratified language
-
untyped language
-
user-oriented language
-
world-modeling language -
10 criterion
-
11 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
См. также в других словарях:
Deduction — • An argument or reasoning process, that kind of mediate inference by which from truths already known we advance to a knowledge of other truths necessarily implied in the former; the mental product or result of that process. Also a method, the… … Catholic encyclopedia
Deduction — may refer to: in logic: Deductive reasoning, inference in which the conclusion is of no greater generality than the premises Natural deduction, an approach to proof theory that attempts to provide a formal model of logical reasoning as it… … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… … Wikipedia
deduction — /di duk sheuhn/, n. 1. the act or process of deducting; subtraction. 2. something that is or may be deducted: She took deductions for a home office and other business expenses from her taxes. 3. the act or process of deducing. 4. something that… … Universalium
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia
Formal interpretation — A formal interpretation [http://books.google.com/books?id=weKqT3ka5g0C pg=PA74 lpg=PA74 dq=%22Formal+interpretation%22+%22formal+language%22 source=web ots=pLN ms7Wi2 sig=P JqwdzOqLcX4nMpP64qmacnkDU hl=en#PPA74,M1 Cann Ronnie, Formal Semantics:… … Wikipedia
Formal science — A formal science is a theoretical study that is concerned with theoretical formal systems, for instance, logic, mathematics, systems theory and the theoretical branches of computer science, information theory, economics, statistics, and… … Wikipedia
formal system — In logic, a formal language together with a deductive apparatus by which some well formed formulas can be derived from others. Each formal system has a formal language composed of primitive symbols that figure in certain rules of formation… … Universalium
Deduction — Die Deduktion (v. lat.: deducere = herabführen), auch deduktive Methode oder deduktiver Schluss, ist in der Philosophie und der Logik eine Schlussfolgerungsweise vom Allgemeinen auf das Besondere. Genauer gesagt, werden mit Hilfe der Deduktion… … Deutsch Wikipedia